/**
 * 
 */
package controller.xml;

/**
 * Status of a {@link CNFUseXMLHandler}.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public enum CNFUseXMLStatus {
	// ajouter preproc et cnf de preproc
	NONE, STATUS, CNF, SOLVER_EXECUTION, PREPROC_EXECUTION, SESSION_BLOCK;
}
